Extending CHR with objects under a variety of inheritance and world-closure assumptions
نویسندگان
چکیده
In this paper, we present CHORD (Constraint Handling Object-oriented Rules with Disjunction) an Object-Oriented (OO) extension of CHRD. Syntactically, CHORD integrates two versatile dual programming and knowledge representation languages: Flora, a hybrid OO rule-based language and CHRD. A CHORD program extends CHRD by allowing Flora-style object constraints (o-constraints) in the head, guard or body of its rules. Orthogonal to its rules, a CHORD program also contains semantic assumption directives, an innovative construct that maximizes semantic versatility. Each directive defines a point along one dimension of the space of semantic assumptions made by various OO and rule-based languages in order to complete the knowledge explicitly specified in them by complementary knowledge left implicit by the programmer. Among others, these assumptions specify what kind of world closure and inheritance is desired.
منابع مشابه
Estimation of Bankruptcy Immunity in Government and Private Banks of Iran (Duration Models Approach)
In the wake of recent financial crisis, large banks have been considered as important factors in financial markets in the world, since these bankschr(chr(chr(chr('39')39chr('39'))39chr(chr('39')39chr('39')))39chr(chr(chr('39')39chr('39'))39chr(chr('39')39chr('39')))) failure could affect the whole economy by extending systemic risk. With regard to this issue, when large banks face insolvency or...
متن کاملValidating of the Obsession with the COVID-19 scale and its relationship with fear of Corona
Abstract Aims: The spread of Covid-19 around the world has challenged public health and has had a variety of psychological consequences. This study endeavored to conduct a preliminary study of the psychometric properties of the obsession with the COVID-19 scale. Methods: As a descriptive-correlational study and to validate the above scale, 386 people over the age of 18 responded to the question...
متن کاملPresenting a three-objective model in location-allocation problems using combinational interval full-ranking and maximal covering with backup model
Covering models have found many applications in a wide variety of real-world problems; nevertheless, some assumptions of covering models are not realistic enough. Accordingly, a general approach would not be able to answer the needs of encountering varied aspects of real-world considerations. Assumptions like the unavailability of servers, uncertainty, and evaluating more factors at the same ti...
متن کاملThe Effects of Too-Big-to-fail Banks on Depositors' Behavior
In the wake of recent financial crisis, large banks have been considered as important factors in financial markets in the world, since these bankschr(chr('39')39chr('39')) failure could affect the whole economy by extending systemic risk. With regard to this issue, when large banks face insolvency or bankruptcy, larger part of economy would be affected, and with the interconnectedness between b...
متن کاملExtending the Qualitative Trajectory Calculus Based on the Concept of Accessibility of Moving Objects in the Paths
Qualitative spatial representation and reasoning are among the important capabilities in intelligent geospatial information system development. Although a large contribution to the study of moving objects has been attributed to the quantitative use and analysis of data, such calculations are ineffective when there is little inaccurate data on position and geometry or when explicitly explaining ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009